compact 閉圈 - .｡oO(さっちゃんですよヾ(〃l _ l)ﾉﾞ☆)

compact 閉圈

Compact closed category - Wikipedia

compact closed category in nLab

Closed category と closed monoidal category